Works by Scarpellini, B. (exact spelling)

7 found
Order:
  1.  13
    A Formalisation of the ℵ 0 -Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.
  2.  10
    A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Mathematical Logic Quarterly 23 (7‐12):137-167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  25
    A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):137-167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  7
    Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 289–292. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
  5.  7
    Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 293–294. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):143-143.
  6.  12
    Rose Alan. Formalisation du calcul propositionnel implicatif à ℵ0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 , pp. 1183–1185. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
  7.  1
    Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.